using System;
using System.Collections.Generic;
using System.ComponentModel;
using Microsoft.Ccr.Core;
using Microsoft.Dss.Core.Attributes;
using Microsoft.Dss.ServiceModel.Dssp;
using Microsoft.Dss.ServiceModel.DsspServiceBase;
using W3C.Soap;

namespace BRSHamburg.LittleAMEE.LittleAMEEUserControl {
    /// <summary>
    /// LittleAMEEUserControl contract class
    /// </summary>
    public sealed class Contract {
        /// <summary>
        /// DSS contract identifer for LittleAMEEUserControl
        /// </summary>
        [DataMember]
        public const string Identifier = "http://schemas.brs-hamburg.de/2012/06/littleameeusercontrol.html";
    }

    /// <summary>
    /// LittleAMEEUserControl state
    /// </summary>
    [DataContract]
    public class LittleAMEEUserControlState {

        /// <summary>
        /// Gets or sets a value indicating whether the AMEE Gait is fast (or safe).
        /// </summary>
        /// <value>
        ///   <c>true</c> if fast; otherwise, <c>false</c>.
        /// </value>
        internal bool Fast { get; set; } //KEIN Datamember, weil nur intern
    }

    /// <summary>
    /// LittleAMEEUserControl main operations port
    /// </summary>
    [ServicePort]
    public class LittleAMEEUserControlOperations : PortSet<DsspDefaultLookup, DsspDefaultDrop, Get> {
    }

    /// <summary>
    /// LittleAMEEUserControl get operation
    /// </summary>
    public class Get : Get<GetRequestType, PortSet<LittleAMEEUserControlState, Fault>> {
        /// <summary>
        /// Creates a new instance of Get
        /// </summary>
        public Get() {
        }

        /// <summary>
        /// Creates a new instance of Get
        /// </summary>
        /// <param name="body">the request message body</param>
        public Get(GetRequestType body)
            : base(body) {
        }

        /// <summary>
        /// Creates a new instance of Get
        /// </summary>
        /// <param name="body">the request message body</param>
        /// <param name="responsePort">the response port for the request</param>
        public Get(GetRequestType body, PortSet<LittleAMEEUserControlState, Fault> responsePort)
            : base(body, responsePort) {
        }
    }
}


